$(logged-in) <script>location.replace('/portal.html');</script>